From f2399a92310395a6c91dc5361bf3cea4c7a1d7dc Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Tue, 4 Dec 2007 11:16:41 +0000 Subject: [PATCH] docs: Fix interface manual to correctly reference update_va_mapping_otherdomain. Signed-off-by: Keir Fraser --- docs/src/interface.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/interface.tex b/docs/src/interface.tex index f1b8430709..4c81cd3945 100644 --- a/docs/src/interface.tex +++ b/docs/src/interface.tex @@ -1831,7 +1831,7 @@ Finally, sufficiently privileged domains may occasionally wish to manipulate the pages of others: \begin{quote} -\hypercall{update\_va\_mapping(unsigned long va, uint64\_t val, +\hypercall{update\_va\_mapping\_otherdomain(unsigned long va, uint64\_t val, unsigned long flags, domid\_t domid)} Identical to {\bf update\_va\_mapping} save that the pages being -- 2.30.2